]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78f886f) | patch
workspacesView: Add API to hide workspaces without destroying
authorGeorges Basile Stavracas Neto <georges.stavracas@gmail.com>
Fri, 5 Jun 2020 05:23:53 +0000 (02:23 -0300)
committerMarge Bot <marge-bot@gnome.org>
Fri, 29 Jan 2021 15:01:03 +0000 (15:01 +0000)
commita29e002a41a03bb3d2220d2de79c090e0717fa10
tree4e034fb0f224c79dab9cb9fb3ae73eb471e258b3tree | snapshot
parent78f886f42ce4cd53cd768aa7673304050843afcbcommit | diff
workspacesView: Add API to hide workspaces without destroying

This will be used by the next commit to hide workspaces when ViewSelector
switches to the search page, without destroying the workspaces so their
state is preserved.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1593>
js/ui/workspacesView.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.